23
23
Nov 27, 2020
11/20
Nov 27, 2020
by
Philip Koopman, Deborah Prince
texts
eye 23
favorite 0
comment 0
Technical overview webinar of UL 4600 Phil Koopman Deb Prince October 10, 2010
Topic: ul4600
15
15
Nov 27, 2020
11/20
Nov 27, 2020
by
Philip Koopman, Kevin Driscoll, Brendan Hall
texts
eye 15
favorite 0
comment 0
This report explores the characteristics of checksums and cyclic redundancy codes (CRCs) in an aviation context. It includes a literature review, a discussion of error detection performance metrics, a comparison of various checksum and CRC approaches, and a proposed methodology for mapping CRC and checksum design parameters to aviation integrity requirements. Specific examples studied are Institute of Electrical and Electronics Engineers (IEEE) 802.3 CRC-32; Aeronautical Radio, Incorporated...
Topic: data integrity
6
6.0
Nov 27, 2020
11/20
Nov 27, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
Data integrity and CRCs, FAA Webinar, October 1 2013 checksums, CRC, use in avionics, sponsored by FAA
Topic: data integrity
6
6.0
Nov 27, 2020
11/20
Nov 27, 2020
by
Philip Koopman
movies
eye 6
favorite 0
comment 0
Data integrity and CRCs, FAA Webinar, October 1 2013 checksums, CRCs, use in avionics, sponsored by FAA
Topic: data integrity
22
22
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 22
favorite 0
comment 0
F117 Stealth fighter paper airplane model
Topic: paper airplanes
29
29
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 29
favorite 1
comment 0
Dime-Weight Flying Paper Airplanes WWII - The Pacific by Phil Koopman Sr. Flying Tigers P-40 Japanese Army Zero Japanese Army Achi VAL USN F6F Hellcat USN SBD-6 Dauntless Japanese Army Nakajima Ki-43
Topic: paper airplanes
17
17
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 17
favorite 0
comment 0
Instructions for paper airplane assembly
Topic: paper airplanes
31
31
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 31
favorite 0
comment 0
PENNY-WEIGHT FLYING PAPER AIRPLANES Cut, Fold & Fly- WWII Pacific, Volume 2 (alternate color schemes) Phil Koopman, Sr. • Introduction • Building Instructions • How to Fly • P40 (US red ball; v2) • P40 (US blue bar; v3) • Zero (Gray; v2) • Zero (Gray/Blue; v3) • Zero (Vector Blue; v4) • Zero (Blue/red; v5) • Wildcat (Gray/yellow; v2) • Wildcat (Gray/blue; v3) • Val (Gray; v2) • Hellcat (Vector 1943; v2) • Hellcat (v3) • Hellcat (Vector; v4) • Dauntless...
Topic: paper airplanes
24
24
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 24
favorite 0
comment 0
PENNY-WEIGHT FLYING PAPER AIRPLANES Cut, Fold & Fly – WWII Pacific, Volume 1 Phil Koopman, Sr. • Introduction • Building Instructions • How to Fly • Curtiss P40 “Warhawk” (Flying Tigers) • Mitsubishi A6M “Zero” • Grumman F4F “Wildcat” • Aichi D3A “Val” • Grumman F6F “Hellcat” (1943 Markings) • Nakajima Ki-43 “Oscar” • SBD Dauntless
Topic: paper airplanes
4
4.0
Nov 25, 2020
11/20
Nov 25, 2020
by
Philip Koopman
texts
eye 4
favorite 0
comment 0
UL 4600 autonomous products safety standard, voting version as of Dec 13, 2019. There are some minor changes between this and Version 1 of the standard, but the vast majority of the content is identical. This version was approved for public release by Underwriters Laboratories for personal use. However they do not relinquish further rights.
Topics: autonomous vehicles, safety, UL4600
16
16
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 16
favorite 0
comment 0
18-642 Lecture #41 Carnegie Mellon University, Fall 2020 Password strength; storing passwords & salt/pepper/key stretching; Adobe password hack; least privilege; Jeep firewall hack; secure update; secure boot; encryption vs. signing revisited; penetration testing; code analysis; other security approaches
Topics: 18642, security
15
15
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #42 Carnegie Mellon University, Fall 2020 Konami code; security via obscurity; hotel lock USB hack; Kerckhoff's principle; hospital WPA setup hack; DECSS; Lodz tram attack; proper use of cryptography; zero day exploits; security snake oil; realities of in-system firewalls; aircraft infotainment and firewalls; zombie road sign hack
Topics: 18642, security
8
8.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #42 Carnegie Mellon University, Fall 2020 Konami code; security via obscurity; hotel lock USB hack; Kerckhoff's principle; hospital WPA setup hack; DECSS; Lodz tram attack; proper use of cryptography; zero day exploits; security snake oil; realities of in-system firewalls; aircraft infotainment and firewalls; zombie road sign hack
Topics: 18642, security
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #38 Carnegie Mellon University, Fall 2020 Security plan elements; Target Attack; security requirements; threats; vulnerabilities; mitigation; validation
Topics: 18642, security
18
18
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 18
favorite 0
comment 0
18-642 Lecture #40 Carnegie Mellon University, Fall 2020 Exploit vs. attack; Kettle spambot; weak passwords; master passwords; crypto key length; Mirai botnet attack; crypto mistakes; LIFX revisited; CarShark revisited; chip peels; hidden functionality; counterfeit systems; cloud connected devices; embedded-specific attacks
Topics: 18642, security
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #41 Carnegie Mellon University, Fall 2020 Password strength; storing passwords & salt/pepper/key stretching; Adobe password hack; least privilege; Jeep firewall hack; secure update; secure boot; encryption vs. signing revisited; penetration testing; code analysis; other security approaches
Topics: 18642, security
7
7.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #40 Carnegie Mellon University, Fall 2020 Exploit vs. attack; Kettle spambot; weak passwords; master passwords; crypto key length; Mirai botnet attack; crypto mistakes; LIFX revisited; CarShark revisited; chip peels; hidden functionality; counterfeit systems; cloud connected devices; embedded-specific attacks
Topics: 18642, security
3
3.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #38 Carnegie Mellon University, Fall 2020 Security plan elements; Target Attack; security requirements; threats; vulnerabilities; mitigation; validation
Topics: 18642, security
4
4.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #39 Carnegie Mellon University, Fall 2020 Stuxnet; attack motivation; attacker threat levels; DirectTV piracy; operational environment; porous firewalls; Davis Besse incident; BlueSniper rifle; integrity; authentication; secrecy; privacy; LG Smart TV privacy; DoS/DDos; feature activation; St. Jude pacemaker recall
Topics: 18642, security
21
21
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 21
favorite 0
comment 0
18-642 Lecture #39 Carnegie Mellon University, Fall 2020 Stuxnet; attack motivation; attacker threat levels; DirectTV piracy; operational environment; porous firewalls; Davis Besse incident; BlueSniper rifle; integrity; authentication; secrecy; privacy; LG Smart TV privacy; DoS/DDos; feature activation; St. Jude pacemaker recall
Topics: 18642, security
19
19
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #35 Carnegie Mellon University, Fall 2020 Supplemental lecture with more detail on patterns: low SIL; self-diagnosis; partitioning; fail operational; voting; fail silent; dual 2-of-2; Ariane 5 Flight 501; fail silent patterns (low, high, mixed SIL); high availability mixed SIL pattern
Topics: 18642, safety
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #37 Carnegie Mellon University, Fall 2020 Confusion & diffusion; Caesar cipher; frequency analysis; Enigma; Lorenz & Colossus; DES; AES; public key cryptography; secure hashing; digital signatures; certificates; PKI; encrypting vs. signing for firmware update
Topics: 18642, security
20
20
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 20
favorite 0
comment 0
18-642 Lecture #36 Carnegie Mellon University, Fall 2020 Sources of faults; soft errors; Hamming distance; parity; mirroring; SECDED; checksum; CRC
Topics: 18642, safety, data integrity
9
9.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #37 Carnegie Mellon University, Fall 2020 Confusion & diffusion; Caesar cipher; frequency analysis; Enigma; Lorenz & Colossus; DES; AES; public key cryptography; secure hashing; digital signatures; certificates; PKI; encrypting vs. signing for firmware update
Topics: 18642, security
8
8.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #36 Carnegie Mellon University, Fall 2020 Sources of faults; soft errors; Hamming distance; parity; mirroring; SECDED; checksum; CRC
Topics: 18642, safety, data integrity
11
11
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #34 Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #35 Carnegie Mellon University, Fall 2020 Supplemental lecture with more detail on patterns: low SIL; self-diagnosis; partitioning; fail operational; voting; fail silent; dual 2-of-2; Ariane 5 Flight 501; fail silent patterns (low, high, mixed SIL); high availability mixed SIL pattern
Topics: 18642, safety
3
3.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #34 Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #31 Carnegie Mellon University, Fall 2020 Fault containment regions (FCR); Toyota UA single point failure; multi-channel pattern; monitor pattern; safety gate pattern; correlated & accumulated faults
Topics: 18642, safety
5
5.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 5
favorite 0
comment 0
18-642 Lecture #33 Carnegie Mellon University, Fall 2020 Isolating different SILs, mixed-SIL interference sources; mitigating cross-SIL interference; isolation and security; CarShark hack
Topics: 18642, safety
10
10.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #31 Carnegie Mellon University, Fall 2020 Fault containment regions (FCR); Toyota UA single point failure; multi-channel pattern; monitor pattern; safety gate pattern; correlated & accumulated faults
Topics: 18642, safety
11
11
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #33 Carnegie Mellon University, Fall 2020 Isolating different SILs, mixed-SIL interference sources; mitigating cross-SIL interference; isolation and security; CarShark hack
Topics: 18642, safety
15
15
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #32 Carnegie Mellon University, Fall 2020 Identifying safety-related requirements; safety envelope; Doer/Checker pattern
Topics: 18642, safety
8
8.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #32 Carnegie Mellon University, Fall 2020 Identifying safety-related requirements; safety envelope; Doer/Checker pattern
Topics: 18642, safety
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #34 Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
4
4.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #34 Carnegie Mellon University, Fall 2020 Bellingham WA gasoline pipeline mishap; redundancy for availability; redundancy for fault detection; Ariane 5 Flight 501; fail operational; triplex modular redundancy (TMR) 2-of-3 pattern; dual 2-of-2 pattern; high-SIL Doer/Checker pattern; diagnostic effectiveness and proof tests
Topics: 18642, safety
15
15
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #27 Carnegie Mellon University, Fall 2020 Defense in depth; safety principles; safety culture; Challenger mishap; Therac 25
Topics: 18642, safety
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #27 Carnegie Mellon University, Fall 2020 Defense in depth; safety principles; safety culture; Challenger mishap; Therac 25
Topics: 18642, safety
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #28 Carnegie Mellon University, Fall 2020 Dependability; availability; Windows 2000 server crash; reliability; serial and parallel reliability; example reliability calculation; other aspects of dependability
Topics: 18642, safety
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #29 Carnegie Mellon University, Fall 2020 Safety critical vs. mission critical; worst case and safety; HVAC malfunction hazard; Safety Integrity Levels (SIL); Bhopal; IEC 61508; fleet exposure
Topics: 18642, safety
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #29 Carnegie Mellon University, Fall 2020 Safety critical vs. mission critical; worst case and safety; HVAC malfunction hazard; Safety Integrity Levels (SIL); Bhopal; IEC 61508; fleet exposure
Topics: 18642, safety
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #30 Carnegie Mellon University, Fall 2020 Safety plan elements; functional safety approaches; hazards & risks; safety goals & safety requirements; FMEA; FTA; safety case (GSN)
Topics: 18642, safety
5
5.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 5
favorite 0
comment 0
18-642 Lecture #28 Carnegie Mellon University, Fall 2020 Dependability; availability; Windows 2000 server crash; reliability; serial and parallel reliability; example reliability calculation; other aspects of dependability
Topics: 18642, safety
4
4.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #30 Carnegie Mellon University, Fall 2020 Safety plan elements; functional safety approaches; hazards & risks; safety goals & safety requirements; FMEA; FTA; safety case (GSN)
Topics: 18642, safety
18
18
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 18
favorite 0
comment 0
Shows a NaN handling bug in a wheeled robot
Topics: 18642, software quality
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #25 Carnegie Mellon University, Fall 2020 Keeping time; time terminology; clock synchronization; time zones; DST; local time; sunrise/sunset; mobility and time; date line; GMT/UTC; leap years; leap seconds; time rollovers; Zune leap year bug; internationalization.
Topics: 18642, software quality
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #23 Carnegie Mellon University, Fall 2020 Bug fix cycle; bug prioritization; maintenance as a large cost driver; technical debt
Topics: 18642, software process
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #24 Carnegie Mellon University, Fall 2020 Tester to developer ratio; code productivity; peer review effectiveness
Topics: 18642, software process, software quality
17
17
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 17
favorite 0
comment 0
18-642 Lecture #26 Carnegie Mellon University, Fall 2020 Floating point formats; special values; NaN and robots; roundoff errors; Patriot Missile mishap
Topics: 18642, software quality
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #26 Carnegie Mellon University, Fall 2020 Floating point formats; special values; NaN and robots; roundoff errors; Patriot Missile mishap
Topics: 18642, software quality
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #24 Carnegie Mellon University, Fall 2020 Tester to developer ratio; code productivity; peer review effectiveness
Topics: 18642, software process, software quality
7
7.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #25 Carnegie Mellon University, Fall 2020 Keeping time; time terminology; clock synchronization; time zones; DST; local time; sunrise/sunset; mobility and time; date line; GMT/UTC; leap years; leap seconds; time rollovers; Zune leap year bug; internationalization.
Topics: 18642, software quality
4
4.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 4
favorite 0
comment 0
18-642 Lecture #23 Carnegie Mellon University, Fall 2020 Bug fix cycle; bug prioritization; maintenance as a large cost driver; technical debt
Topics: 18642, software process
19
19
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #18 Carnegie Mellon University, Fall 2020 First bug story; effective test plans; testing won't find all bugs; F-22 Raptor date line bug; bug farms; risks of bad software
Topics: 18642, software process
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #19 Carnegie Mellon University, Fall 2020 Therac 25; race condition example; disabling interrupts; mutex; blocking time; priority inversion; priority inheritance; Mars Pathfinder
Topics: 18642, software quality
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #21 Carnegie Mellon University, Fall 2020 A400M crash; version control; configuration management; long lifecycles
Topics: 18642, software process
17
17
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 17
favorite 0
comment 0
18-642 Lecture #20 Carnegie Mellon University, Fall 2020 SQA elements; audits; SQA as coaching staff; cost of defect fixes over project cycle
Topics: 18642, software process
8
8.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #18 Carnegie Mellon University, Fall 2020 First bug story; effective test plans; testing won't find all bugs; F-22 Raptor date line bug; bug farms; risks of bad software
Topics: 18642, software process
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #20 Carnegie Mellon University, Fall 2020 SQA elements; audits; SQA as coaching staff; cost of defect fixes over project cycle
Topics: 18642, software process
6
6.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #21 Carnegie Mellon University, Fall 2020 A400M crash; version control; configuration management; long lifecycles
Topics: 18642, software process
7
7.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #19 Carnegie Mellon University, Fall 2020 Therac 25; race condition example; disabling interrupts; mutex; blocking time; priority inversion; priority inheritance; Mars Pathfinder
Topics: 18642, software quality
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #16 Carnegie Mellon University, Fall 2020 Black box testing; white box testing; unit testing strategies; MCDC coverage; unit testing frameworks (cunit)
Topics: 18642, software process
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #15 Carnegie Mellon University, Fall 2020 Smoke testing, exploratory testing; methodical test coverage; types of testing; testing philosophy; coverage; testing resources
Topics: 18642, software process
9
9.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 9
favorite 0
comment 0
18-642 Lecture #17 Carnegie Mellon University, Fall 2020 Integration test approaches; tracing integration tests to SDs; network message testing; using SDs to generate unit tests
Topics: 18642, software process
9
9.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #17 Carnegie Mellon University, Fall 2020 Integration test approaches; tracing integration tests to SDs; network message testing; using SDs to generate unit tests
Topics: 18642, software process
8
8.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 8
favorite 0
comment 0
18-642 Lecture #16 Carnegie Mellon University, Fall 2020 Black box testing; white box testing; unit testing strategies; MCDC coverage; unit testing frameworks (cunit)
Topics: 18642, software process
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #15 Carnegie Mellon University, Fall 2020 Smoke testing, exploratory testing; methodical test coverage; types of testing; testing philosophy; coverage; testing resources
Topics: 18642, software process
14
14
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 14
favorite 0
comment 0
18-642 Lecture #14 Carnegie Mellon University, Fall 2020 Traceability across the V; examples; best practices
Topics: 18642, software process
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #13 Carnegie Mellon University, Fall 2020 Statechart elements; statechart example; statechart implementation
Topics: 18642, software process
11
11
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 11
favorite 0
comment 0
18-642 Lecture #12 Carnegie Mellon University, Fall 2020 High Level Design (HLD); boxes and arrows; sequence diagrams (SD); statechart to SD relationship
Topics: 18642, software process
7
7.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #14 Carnegie Mellon University, Fall 2020 Traceability across the V; examples; best practices
Topics: 18642, software process
10
10.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #13 Carnegie Mellon University, Fall 2020 Statechart elements; statechart example; statechart implementation
Topics: 18642, software process
9
9.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #12 Carnegie Mellon University, Fall 2020 High Level Design (HLD); boxes and arrows; sequence diagrams (SD); statechart to SD relationship
Topics: 18642, software process
15
15
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 15
favorite 0
comment 0
18-642 Lecture #11 Carnegie Mellon University, Fall 2020 Stack overflow mechanics; memory corruption; stack sentinels; static analysis; memory protection; avoid recursion
Topics: 18642, code quality
9
9.0
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 9
favorite 0
comment 0
18-642 Lecture #11 Carnegie Mellon University, Fall 2020 Stack overflow mechanics; memory corruption; stack sentinels; static analysis; memory protection; avoid recursion
Topics: 18642, code quality
28
28
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 28
favorite 0
comment 0
18-642 Lecture #10 Carnegie Mellon University, Fall 2020 Case study of Toyota UA
Topics: 18642, code quality, safety
13
13
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 13
favorite 0
comment 0
18-642 Lecture #8 Carnegie Mellon University, Fall 2020 Global vs. static variables; avoiding and removing globals
Topics: 18642, code quality
19
19
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
movies
eye 19
favorite 0
comment 0
18-642 Lecture #9 Carnegie Mellon University, Fall 2020 McCabe Cyclomatic Complexity (MCC); SCC; Spaghetti Factor (SF)
Topics: 18642, code quality
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #10 Carnegie Mellon University, Fall 2020 Case study of Toyota UA
Topics: 18642, software quality, safety
12
12
Nov 22, 2020
11/20
Nov 22, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #9 Carnegie Mellon University, Fall 2020 McCabe Cyclomatic Complexity (MCC); SCC; Spaghetti Factor (SF)
Topics: 18642, code quality
6
6.0
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 6
favorite 0
comment 0
18-642 Lecture #6 Carnegie Mellon University, Fall 2020 Peer Review Checklist work aid
Topics: 18642, code quality
7
7.0
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 7
favorite 0
comment 0
18-642 Lecture #7 Carnegie Mellon University, Fall 2020 Ariane 5 flight 501; rules for good requirements; problematic requirements; extra-functional requirements; requirements approaches; ambiguity
Topics: 18642, code quality, safety
12
12
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #7 Carnegie Mellon University, Fall 2020 Ariane 5 flight 501; rules for good requirements; problematic requirements; extra-functional requirements; requirements approaches; ambiguity
Topics: 18642, code quality, safety
10
10.0
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Lecture #8 Carnegie Mellon University, Fall 2020 Global vs. static variables; avoiding and removing globals
Topics: 18642, code quality
12
12
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 12
favorite 0
comment 0
18-642 Lecture #6 Carnegie Mellon University, Fall 2020 Effective code quality practices, peer review efficiency and effectiveness; Fagan inspections; rules for peer review; review report; perspective-based reviews; review checklist; case study; economics of peer review.
Topics: 18642, code quality
3
3.0
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 3
favorite 0
comment 0
18-642 Lecture #6 Carnegie Mellon University, Fall 2020 Effective code quality practices, peer review efficiency and effectiveness; Fagan inspections; rules for peer review; review report; perspective-based reviews; review checklist; case study; economics of peer review.
Topics: 18642, code quality
16
16
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 16
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #5 Pitfalls and problems with C; language use guidelines and analysis tools; using language wisely (strong typing); Mars Climate Orbiter; deviations & legacy code
Topics: 18642, code quality
10
10.0
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 10
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #5 Pitfalls and problems with C; language use guidelines and analysis tools; using language wisely (strong typing); Mars Climate Orbiter; deviations & legacy code
Topics: 18642, code quality
20
20
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 20
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #4 Making code easy to read; good code hygiene; avoiding premature optimization; coding style
Topics: 18642, code quality
17
17
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 17
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #4 Making code easy to read; good code hygiene; avoiding premature optimization; coding style
Topics: 18642, code quality
30
30
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 30
favorite 0
comment 0
18-642 Lecture # 3 Carnegie Mellon University, Fall 2020 Waterfall; swiss cheese model; lessons learned in software; V model; design vs. code; agile methods; agile for embedded
Topics: 18642, software quality
12
12
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture # 3 Carnegie Mellon University, Fall 2020 Waterfall; swiss cheese model; lessons learned in software; V model; design vs. code; agile methods; agile for embedded
Topics: 18642, code quality
12
12
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 12
favorite 0
comment 0
18-642 Lecture #2 Carnegie Mellon University, Fall 2020
Topic: 18642
38
38
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
movies
eye 38
favorite 0
comment 0
18-642 Embedded System Fall 2020 Carnegie Mellon University Lecture #1
Topics: 18642, code quality, safety, security
31
31
Nov 21, 2020
11/20
Nov 21, 2020
by
Philip Koopman
texts
eye 31
favorite 0
comment 0
18-642 Lecture #1 Carnegie Mellon University, Fall 2020 Challenges of embedded code; it only takes one line of bad code; problems with large scale production; your products live or die by their software; considering the worst case; designing for safety; security matters; industrial controls as targets; designing for security; testing isn't enough
Topics: 18642, code quality, safety, security
